Kumpulan adalah satu set (koleksi) G yang ahli-ahlinya disebut "unsur" (elements). Unsur boleh merujuk kepada nombor-nombor untuk sesuatu benda, atau benda abstrak yang lain. unsur juga bahkan boleh menjadi objek material. Terdapat operasi binari yang menggabungkan mana-mana dua unsur G yang menghasilkan unsur lain untuk G. unsur baru ini mungkin berbeza dari salah satu daripada dua yang asli, tetapi tidak semestinya begitu. Ia hanya perlu menjadi unsur G. Untuk menjadi sebuah kumpulan, keempat syarat berikut harus benar bagi G dan operasi yang ditentukan ke atas G:

• Penutupan: Perlu untuk memeriksa sama ada operasi yang dicadangkan adalah sebenarnya operasi ke atas set. Jika satu operasi digunakan pada mana-mana unsur dalam sesebuah kumpulan, unsur yang terbentuk juga akan menjadi sebahagian daripada kumpulan tersebut.
  • Untuk semua a, b dalam G, hasil daripada operasi a, b • juga dalam G.

• Unsur identiti: unsur istimewa dalam kumpulan dikenali sebagai "unsur identiti". Jika operasi digunakan dengan unsur identiti dan unsur yang lain, unsur yang lain itu takkan berubah.
  • Terdapat unsur identiti e dalam G, jadi untuk semua unsur a dalam G, persamaan e • a = a e • = digunakan.

• Kesekutuan: Bila terdapat banyak operasi, tidak kira dalam urutan apapun ia diselesaikan, hasilnya akan sama.
  • Untuk semua a, b dan c dalam G, persamaan (a • b) • c = a • (b • c) digunakan.

• Unsur songsang: Setiap unsur dalam kumpulan mempunyai unsur lain dalam kumpulan tersebut ketika operasi dilakukan antara mereka, hasilnya adalah unsur identiti. Ini dikenali sebagai songsangnya.
  • Untuk setiap a dalam G, terdapat unsur b dalam G yang menjadikan a • b = b • a = e, di mana e adalah unsur identiti.

Fakta penting tentang kumpulan ialah apabila dua unsur digabungkan menggunakan operasi, susunan unsur adalah sangat penting. Dengan mengubah susunan unsur yang digabungkan, ia akan memberikan hasil yang berbeza. Ini bermakna a • b = b • a tidak digunakan. Jika susunan tidak penting dan persamaan ini diguna, kumpulan ini dipanggil kumpulan Abel.